định verb to fix; to appoint; to set; to assign vào giờ đã định a the...
lý noun reason; ground hợp lý reasonable Từ điển kỹ thuật mile...
lớn adj big; large nhà lớn big house thành phố lớn large city...
định lý noun theorem Từ điển kinh doanh theorem định lý Coarse Coarse...
Câu ví dụ
He also proved a special case of Fermat's last theorem. Ông cũng đã chứng minh một trường hợp đặc biệt của Định lý lớn Fermat.
"I think it's safe to say that, yes, mathematicians are now satisfied with the proof of Fermat's Last Theorem. "Tôi nghĩ là ta có thể nói, vâng, các nhà toán học hiện nay đã bằng lòng với cách chứng minh Định lý lớn Fermat đó.
In his view, Riemann Hypothesis would likely to be solved in a few years, Fermat’s last Theorem possibly in his lifetime and the transcendence question possibly never. Theo quan điểm của ông, RH có thể sẽ được giải trong vài năm, định lý lớn Fermat có thể được giải khi ông còn sống, và câu hỏi về sự siêu việt có thể sẽ không bao giờ được trả lời.
Although his original attempt turned out to have an error in it, Wiles and his associate Richard Taylor were able to correct the problem, and so now there is what we believe to be a correct proof of Fermat's Last Theorem. Mặc dù cố gắng khởi đầu của ông được phát hiện sau đó là có sai lầm, Wiles và người phụ tá Richard Taylor đã sửa lại được, và nay đó là cái mà ta tin là cách chứng minh đúng Định lý lớn Fermat."
The same expression defines 1729 as the first in the sequence of "Fermat near misses" (sequence A050794 in the OEIS) defined, in reference to Fermat's Last Theorem, as numbers of the form 1 + z3 which are also expressible as the sum of two other cubes. Biểu diễn tương tự định nghĩa 1729 là số đầu tiên của dãy "Fermat gần đúng" (dãy số A050794 trong bảng OEIS) liên quan tới Định lý lớn Fermat, là những số dạng 1 + z3 và cũng bằng tổng của hai lập phương khác.